deductive model

См. также в других словарях:

• Hypothetico-deductive model — The hypothetico deductive model or method, first so named by William Whewell,[1][2] is a proposed description of scientific method. According to it, scientific inquiry proceeds by formulating a hypothesis in a form that could conceivably be… …   Wikipedia

• Deductive-nomological model — The deductive nomological model (or D N model) is a formalized[citation needed] view of scientific explanation in natural language. It characterizes scientific explanations primarily as deductive arguments with at least one natural law statement… …   Wikipedia

• Deductive-nomological — The deductive nomological (or D N) model is a formalized view of scientific explanation in natural language. It characterizes scientific explanations primarily as deductive arguments with at least one natural law statement among its premises.… …   Wikipedia

• Deductive reasoning — Deductive reasoning, also called deductive logic, is reasoning which constructs or evaluates deductive arguments. Deductive arguments are attempts to show that a conclusion necessarily follows from a set of premises or hypotheses. A deductive… …   Wikipedia

• Deductive system — A deductive system (also called a deductive apparatus of a formal system) consists of the axioms (or axiom schemata) and rules of inference that can be used to derive the theorems of the system.[1] Such a deductive system is intended to preserve… …   Wikipedia

• Deductive database — It is a database system which can make deductions (i.e.: conclude additional facts) based on rules and facts stored in the (deductive) database. Datalog is the language typically used to specify facts, rules and queries in deductive databases.… …   Wikipedia

• Model theory — This article is about the mathematical discipline. For the informal notion in other parts of mathematics and science, see Mathematical model. In mathematics, model theory is the study of (classes of) mathematical structures (e.g. groups, fields,… …   Wikipedia

• model — 1. A model for a set of sentences is an interpretation under which they are all true. 2. (science) A representation of one system by another, usually more familiar, whose workings are supposed analogous to that of the first. Thus one might model… …   Philosophy dictionary

• Mathematical model — Not to be confused with the same term that is used in model theory, a branch of mathematical logic. An artifact that is used to illustrate a mathematical idea may also be called a mathematical model, the usage of which is the reverse of the sense …   Wikipedia

• Actor model later history — In computer science, the Actor model, first published in 1973 ref harvard|Hewitt|Hewitt et al. 1973| , is a mathematical model of concurrent computation. This article reports on the later history of the Actor model in which major themes were… …   Wikipedia

• Actor model — In computer science, the Actor model is a mathematical model of concurrent computation that treats actors as the universal primitives of concurrent digital computation: in response to a message that it receives, an actor can make local decisions …   Wikipedia